:: Integer -> Double -package:prelude-compat package:singleton-bool